operational semantics

The operational semantics of pure functional I/ o

纯函数式I/O的操作语义

Use operational semantics as tools to proof definiteness and terminability of SPL expressions, so security of SPL is guaranteed.

本文以操作语义为分析工具，证明了SPL策略语言表达式的确定性和可终止性，从而间接证明了SPL语言的安全性是有保障的。

There may also be operational semantics to consider when introducing a change.

在引入更改时，还可能需要考虑操作语义。

Operational semantics based cooperative design of AutoCAD

基于操作语义的AutoCAD协同设计的实现

Research and Verification on the Operational Semantics Model of DFL Programming Language

动态模糊逻辑程序设计语言的操作语义模型及验证

In the end, a set of Plotkin-style structural operational semantics ( SOS) rules inductively defines a compositional formal semantics for UML state machine.

最后，用Plotkin风格的结构操作语义SOS（structural operational semantics）规则归纳地给出满足组合性的UML状态机语义。

Operational semantics and algebraic laws are very useful in practice.

形式化语义和代数法则在实践应用是很有用的。

Giving an operational semantics model of DFL programming language which can solve dynamic fuzzy problems and proving the correctness and reliability of it;

提出了可以解决动态模糊性问题的DFL程序设计语言的操作语义模型，并对该模型的正确性和可靠性进行了证明；

An operational semantics model of DFL programming language was proposed with a ternary array and then some basic data types and several mechanisms of constructing new data types were defined;

通过一个三元组给出了DFL程序设计语言的操作语义模型；

Operational semantics and denotational semantics are two type of formal semantics.

其中操作语义学和指称语义学是形式语义学的两大类别。

Syntax and operational semantics of recursive programs based on predicate logic

建立于谓词逻辑上的递归程序及其操作语义

A key selling point for MapReduce is its ability to abstract the operational parallelization semantics how parallel programming works away from the developer.

MapReduce的关键特点是它能够对开发人员隐藏操作并行语义&并行编程的具体工作方式。

Research on structured operational semantics of UML sequence diagram

UML顺序图的结构化操作语义研究